Structural engineering theory

Results: 136



#Item
11Field theory / Mathematics / Algebraic geometry / Valuation / Markov decision process / Probability theory / Logic / Natural deduction

On Structural Properties of MDPs that Bound Loss due to Shallow Planning 1 Nan Jiang1 and Satinder Singh1 and Ambuj Tewari2 Computer Science and Engineering, University of Michigan 2

Add to Reading List

Source URL: dept.stat.lsa.umich.edu

Language: English - Date: 2016-04-20 13:16:34
12Architectural design / Architectural theory / Deconstructivism / Phenomenology / Architecture / Structural engineering / Katholieke Universiteit Leuven

Digital-Cultural Ecology Medium-Sized City and

Add to Reading List

Source URL: architecturemps.com

Language: English - Date: 2016-03-22 09:09:25
13Mathematical proofs / Lemmas / Five lemma / Homological algebra / Structural induction / Theorem / Proof assistant

Hipster: Integrating Theory Exploration in a Proof Assistant Moa Johansson, Dan Ros´en, Nicholas Smallbone, and Koen Claessen Department of Computer Science and Engineering, Chalmers University of Technology {jomoa,danr

Add to Reading List

Source URL: www.cse.chalmers.se

Language: English - Date: 2014-05-05 03:54:39
14Maintenance / Signal processing / Structural engineering / Structural health monitoring / Control theory / Wireless sensor network / HilbertHuang transform / Kalman filter / Unified Framework

7th European Workshop on Structural Health Monitoring July 8-11, 2014. La Cité, Nantes, France STRUCTURAL HEALTH MONITORING: A QUEST TOWARDS THE USE OF COMBINED APPROACHES Oral Buyukozturk1, James Long1, Reza Mohammadi

Add to Reading List

Source URL: people.csail.mit.edu

Language: English - Date: 2015-03-13 11:43:18
15Mechanics / Physics / Mechanical engineering / Rigid bodies / Rotational symmetry / Structural rigidity / Degrees of freedom / Shape / Dental braces / Graph theory / Rigidity matroid

RIGIDITY OF FRAMEWORKS IN 3D KERAN HUANG, JONATHAN MCGREAL, NACHIKET JOSHI Our studies during Fall 2013 in the Illinois Geometry Lab (IGL) concerned the rigidity of 3 dimensional rod-and-pinion frameworks. A framework is

Add to Reading List

Source URL: www.math.illinois.edu

Language: English - Date: 2014-02-27 15:44:49
16Complexity classes / Mathematical optimization / NP-complete problems / Structural complexity theory / NP-hard / NP-complete / Dead-end elimination / NP / P / Theoretical computer science / Computational complexity theory / Applied mathematics

Protein Engineering vol.15 no.10 pp.779–782, 2002 Protein Design is NP-hard Niles A.Pierce1,2 and Erik Winfree3 1Applied

Add to Reading List

Source URL: www.piercelab.caltech.edu

Language: English - Date: 2010-09-08 02:56:32
17Procedural programming languages / Cheminformatics / C programming language / C++ / Medicinal chemistry / Struct / ALGOL 68 / C++ classes / Partition coefficient / Programming language theory / Software engineering / Computing

Learning Molecular Properties: Structural Representation of Molecular Data Chloé-Agathe Azencott Institute for Genomics and Bioinformatics University of California, Irvine

Add to Reading List

Source URL: cazencott.info

Language: English - Date: 2014-12-14 10:10:02
18Computing / Road / C / Software engineering / Tire / Programming language theory / Structural engineering / Building engineering / Serviceability

Microsoft Word - 100834921GRR-001B

Add to Reading List

Source URL: www.emeco.net

Language: English - Date: 2013-04-10 11:39:29
19Solid mechanics / Deformation / Plasticity / Structural analysis / Failure theory / Strength of materials / Discrete element method / Structural engineering / Fracture mechanics / Mechanics / Physics / Materials science

Microsoft Word - SMiRT-22_Iturrioz_et_al_Paper_2_13_03_06.doc

Add to Reading List

Source URL: www.iasmirt.org

Language: English - Date: 2015-05-22 11:32:58
20Higher-order functions / Model theory / Graph theory / Mathematical induction / Structural induction / Fold / Map / List / Interpretation / Software engineering / Mathematics / Computing

Deciding Functional Lists with Sublist Sets

Add to Reading List

Source URL: lara.epfl.ch

Language: English - Date: 2011-11-18 09:02:21
UPDATE